Reverse function, reverse program, and reverse theorem in mathematical programming

Reverse Mathematical Bounds for the Termination Theorem

In 2004 Podelski and Rybalchenko expressed the termination of transition-based programs as a property of well-founded relations. The classical proof by Podelski and Rybalchenko requires Ramsey’s Theorem for pairs which is a purely classical result, therefore extracting bounds from the original proof is non-trivial task. Our goal is to investigate the termination analysis from the point of view ...

Quantum Reverse Shannon Theorem

Reverse Literate Programming

Knuth’s Literate Programming system allows an author to design and describe a program hierarchically according to the method of stepwise refinement. The result is source code, which can be read sequentially like a book, section after section. This helps when reading printed source code, but on screen source code is read rather selectively like an encyclopedia. There the programmer wants a syste...

Reverse Addressing in Modern Persian

Reverse addressing is an interesting realization of kinship terms in interactive, face to face communication. This descriptive study was proposed to examine the use of family address pronouns in Iran as a function of the classical sociological parameters of age, sex, and social distance. It investigated various aspects of reverse addressing as a vernacular phenomenon. Data were reported from th...

A Novel Photovoltaic Powered Reverse Osmosis with Improved Productivity of Reverse Osmosis and Photovoltaic Panel

With the increasing installed capacity of desalination, the greenhouse gas emission for generating the required energy to power the desalination plants is also becoming the focus of attention in the world community. Domestic reverse osmosis membranes have been very successful technology especially in the developing world to provide safe drinking water. The novel concept of photovoltaic powered ...